منابع مشابه
Categories, Relations and Dynamic Programming
Oege De Moor Mathematical Structures in Computer Science / Volume 4 / Issue 01 / March 1994, pp 33 69 DOI: 10.1017/S0960129500000360, Published online: 04 March 2009 Link to this article: http://journals.cambridge.org/abstract_S0960129500000360 How to cite this article: Oege De Moor (1994). Categories, relations and dynamic programming. Mathematical Structures in Computer Science, 4, pp 3369...
متن کاملCategories for Dynamic Epistemic Logic
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis on the duality between relations and adjoint homomorphisms. Using these categories, we then reformulate the semantics of DEL in a more categorica...
متن کاملDynamic Email Organization via Relevance Categories
Many researchers have proposed classification systems that automatically classify email in order to reduce information overload. However, none of these systems are in use today. This paper examines some of the problems with classification technologies and proposes Relevance Categories as a method to avoid some of these problems. In particular, the dynamic nature of email categories, the cogniti...
متن کاملTowards "dynamic domains": Totally continuous cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system organize themselves quite naturally in a quantale, or more generally, a quantaloid. In fact, we are lead to consider cocomplete quantaloid-enriched categories as fu...
متن کاملDynamic Inference of Perceptual Categories in Negotiating Agents
In this paper, we describe an approach by which one agent may infer the categorical preference structure of another agent in relation to a set of alternative proposals made in negotiation. The categorical preferences are inferred over a sequence of proposals, as preferences are disclosed one at a time. We seek to avoid strong ontological commitment between the agents, making only minimal assump...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2001
ISSN: 0028-0836,1476-4687
DOI: 10.1038/35089173